Raise a glass

Let’s Raise a Half-Full Glass to the Zombie NHS: A Response to Recent Commentaries

let’s raise a half-full glass to the zombie nhs: a response to recent commentaries

RAISE in Perspective

The RAISE [6] Specification Language, RSL, originated as a development from VDM [9] during a five year effort involving several researchers. The purpose was to improve VDM by augmenting it with a module system, a process description language, a formal semantics standard, and tool support. A goal was to keep the language a wide spectrum language including high level specification constructs as w...

Raise Public Scrutiny

This position paper lists reasons why the results in software maintenance are so diicult to assess and use, proposes three possible countermeasures what and why, and shortly discusses the roadblocks. Note: This paper is written in a rather apodictic tone, but that is for brevity only. Why we have a mire of evidence When one dives into the literature on software maintenance , the amount of sugge...

Model checking RAISE specifications

This report presents the basic foundations for the verification by means of model checking techniques of formal specifications expressed in RAISE. During this work, third party model checkers are briefly discussed and analysed for suitability under two main criteria: (a) syntactic/semantic restrictions imposed by the model checker’s language and (b) the applied representation technique for the ...